Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems
نویسندگان
چکیده
منابع مشابه
Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory automation Systems
Changes in equipment and production demand cannot be predicted at the design stage. Therefore, decision taking mechanisms must rely on real time information collected from the shop floor. To perform scheduling and routing optimization, not only modifications in values of parameters of interest, but also in the flow itself must be accounted for. This paper addresses this problem and proposes a m...
متن کاملDeadlock-Free Typestate-Oriented Programming
Context. TypeState-Oriented Programming (TSOP) is a paradigm intended to help developers in the implementation and use of mutable objects whose public interface depends on their private state. Under this paradigm, well-typed programs are guaranteed to conform with the protocol of the objects they use. Inquiry. Previous works have investigated TSOP for both sequential and concurrent objects. How...
متن کاملService-Oriented Agents for Collaborative Industrial Automation and Production Systems
Service-oriented Multi-Agent Systems (SoMAS) is an approach to combine the fundamental characteristics of service-oriented and multi-agent methods into a new platform for industrial automation. Several research works already targeted the connection of these technologies, presenting different perspectives in how and why to join them. This research focuses on available efforts and solutions in th...
متن کاملA User-Oriented and Context-Aware Service Orchestration Framework for Dynamic Home Automation Systems
The home environment has become increasingly sophisticated. Sensors and actuators allow a house to be programmed so that it can intelligently adapt to user needs. Unfortunately it has not become any easier for the user to manage all these devices. Our ontology driven framework describes a user-oriented automation system to help with this process by not only orchestrating home automation devices...
متن کاملRuntime verification of service-oriented systems: a well-rounded survey
Dynamic nature of Service-Oriented Systems (SOSs) has made conventional verification techniques such as testing, model checking and theorem proving ineffective. As a result, many studies have been dedicated to verification of SOS. In this survey, we first discuss why the conventional verification techniques are not effectively applicable to SOSs and then stress the necessity of the runtime veri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IETE Technical Review
سال: 2009
ISSN: 0256-4602
DOI: 10.4103/0256-4602.50705